Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
Unit Testing is Overrated and Won't Help You Write Better Code
dev.to·1h·
Discuss: DEV
🧪Zig Testing
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·10h·
Discuss: Hacker News
🛡️Stack Safety
The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.com·18h·
Discuss: r/webdev
🚀Code Motion
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
🌳Pattern Match Compilation
Show HN: Scout QA – Vibe testing for vibe coding
scoutqa.ai·14h·
Discuss: Hacker News
🧪Testing Compilers
Four years, Five failures, One compiler
daymare.net·20h·
🌱Minimal Languages
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·1h
Type Checking
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·19h·
Discuss: Hacker News
🔒Rust Borrowing
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
functional programming
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.com·2d·
Discuss: DEV
🎮Language Ergonomics
The Inverse Matrix problem
talesfrom.dev·5h
🚂Error Propagation
Automatic Building Code Review: A Case Study
arxiv.org·1h
📦Dependency Analysis
Seriously Testing LLMs
satisfice.com·4h
🎯Finite Automata
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1h
📱Bytecode Design
TypeScript and the Illusion of Type-Safety
medium.com·2d·
Discuss: r/typescript
🔧API Design
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1h
🎲Parser Fuzzing
The Most Powerful Code You’ll Ever Write Is Mental
dev.to·30m·
Discuss: DEV
🌳Tree Shaking
News for September 2025
ptreview.sublinear.info·1d
🎲Property Testing
Web Developer Travis McCracken on Load Testing Rust APIs with K6
dev.to·17h·
Discuss: DEV
🔧API Design